<html>
<head><meta charset="utf-8"><title>mir validation enhancements · t-compiler/wg-mir-opt · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/index.html">t-compiler/wg-mir-opt</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/topic/mir.20validation.20enhancements.html">mir validation enhancements</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="203807804"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189540-t-compiler/wg-mir-opt/topic/mir%20validation%20enhancements/near/203807804" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/topic/mir.20validation.20enhancements.html#203807804">(Jul 14 2020 at 08:02)</a>:</h4>
<p><span class="user-mention silent" data-user-id="257829">choco</span> <a href="#narrow/stream/189540-t-compiler.2Fwg-mir-opt/topic/hello/near/203744225">said</a>:</p>
<blockquote>
<p>Hello everyone, I also came from the tweet that <span class="user-mention silent" data-user-id="124288">oli</span>  made, so if there's something to gets my hands dirty I'm down!</p>
</blockquote>
<p><span class="user-mention" data-user-id="257829">@choco</span> I have something that isn't actually an optimization, but validates that our optimizations don't generate broken code. The work for this is exactly the same as one does for optimizations, so I think it's a good starter. <a href="https://github.com/rust-lang/rust/issues/73832">https://github.com/rust-lang/rust/issues/73832</a></p>



<a name="203807856"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189540-t-compiler/wg-mir-opt/topic/mir%20validation%20enhancements/near/203807856" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/topic/mir.20validation.20enhancements.html#203807856">(Jul 14 2020 at 08:03)</a>:</h4>
<p>I wrote some quickstart instructions in <a href="#narrow/stream/189540-t-compiler.2Fwg-mir-opt/topic/multiple.20return.20terminators/near/203699347">https://rust-lang.zulipchat.com/#narrow/stream/189540-t-compiler.2Fwg-mir-opt/topic/multiple.20return.20terminators/near/203699347</a></p>



<a name="203807909"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189540-t-compiler/wg-mir-opt/topic/mir%20validation%20enhancements/near/203807909" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/topic/mir.20validation.20enhancements.html#203807909">(Jul 14 2020 at 08:04)</a>:</h4>
<p>the part of creating a test does not apply to you, you just rerun the command after your changes</p>



<a name="203808757"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189540-t-compiler/wg-mir-opt/topic/mir%20validation%20enhancements/near/203808757" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jonas Schievink  [he/him] <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/topic/mir.20validation.20enhancements.html#203808757">(Jul 14 2020 at 08:15)</a>:</h4>
<p>Is libcore building with validation? I thought it was broken.</p>



<a name="203808966"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189540-t-compiler/wg-mir-opt/topic/mir%20validation%20enhancements/near/203808966" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/topic/mir.20validation.20enhancements.html#203808966">(Jul 14 2020 at 08:18)</a>:</h4>
<p>oh... maybe then that's not a good issue to start with</p>



<a name="203809239"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189540-t-compiler/wg-mir-opt/topic/mir%20validation%20enhancements/near/203809239" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/topic/mir.20validation.20enhancements.html#203809239">(Jul 14 2020 at 08:22)</a>:</h4>
<p>Ok, different thing. I have something: <a href="https://github.com/rust-lang/rust/issues/65693">https://github.com/rust-lang/rust/issues/65693</a> . If you want to take that issue, you'd be optimizing the MIR datastructures, making MIR optimizations less complex, instead of optimizing instances of MIR.</p>



<a name="203809258"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189540-t-compiler/wg-mir-opt/topic/mir%20validation%20enhancements/near/203809258" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/topic/mir.20validation.20enhancements.html#203809258">(Jul 14 2020 at 08:22)</a>:</h4>
<p>Again, no custom issue is requires, and no change in test output expected</p>



<a name="203809307"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189540-t-compiler/wg-mir-opt/topic/mir%20validation%20enhancements/near/203809307" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/topic/mir.20validation.20enhancements.html#203809307">(Jul 14 2020 at 08:23)</a>:</h4>
<p>I'm gonna throw some more documentation on that issue</p>



<a name="203809841"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189540-t-compiler/wg-mir-opt/topic/mir%20validation%20enhancements/near/203809841" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/topic/mir.20validation.20enhancements.html#203809841">(Jul 14 2020 at 08:31)</a>:</h4>
<p>let me know if you run into any situations that require non-trivial code changes</p>



<a name="203822138"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189540-t-compiler/wg-mir-opt/topic/mir%20validation%20enhancements/near/203822138" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> choco <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/topic/mir.20validation.20enhancements.html#203822138">(Jul 14 2020 at 11:26)</a>:</h4>
<p>Thanks! I will start looking at this today after work :)</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>